Components, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable.

Components, Contracts and Vocabularies - Making Dynamic Component Assemblies more Predictable

In recent years, dynamic component-based systems such as OSGi and its derivatives have become very successful. This has created new challenges for verification. Assemblies are created and modified dynamically at runtime, but many existing techniques such as unit testing are designed for buildtime verification. Runtime verification is usually restricted to type checks. We propose a simple compon...

Predictable Assemblies using Monitored Software Components

We propose monitoring of software components, and use of monitored software components, as a general approach for engineering of embedded computer systems. The concept is general in the sense that it addresses the whole product lifecycle including development, debugging, testing and maintenance. Also, reuse across multiple product versions and variants are facilitated by our approach to monitor...

Making European Merger Policy More Predictable

Making Shared Caches More Predictable on Multicore Platforms

In safety-critical cyber-physical systems, the usage of multicore platforms has been hampered by problems due to interactions across cores through shared hardware. The inability to precisely characterize such interactions can lead to worst-case execution time pessimism that is so great, the extra processing capacity of additional cores is entirely negated. In this paper, several techniques are ...

Component Assemblies and Component Runtimes

We propose a component programming language that supports an integrated notion of both compile-time and runtime component. The centerpiece of this paper is the static, compile time notion of assembly, complementing our previous work on the dynamic, runtime notion of cell. An assembly is a declarative, stateless piece of code that facilitates code combination. It offers explicit typed interfaces...